Curves in Hilbert modular varieties

We prove a boundedness-theorem for families of abelian varieties with real multiplication. More generally, we study curves in Hilbert modular varieties from the point of view of the Green Griffiths-Lang conjecture claiming that entire curves in complex projective varieties of general type should be contained in a proper subvariety. Using holomorphic foliations theory, we establish a Second Main Theorem following Nevanlinna theory. Finally, with a metric approach, we establish the strong Green-Griffiths-Lang conjecture for Hilbert modular varieties up to finitely many possible exceptions.Comment: Final version, to appear in Asian J. Mat

Flot de conception automatique pour circuits commutables

National audienceLes FPGA, ou puces reconfigurables, n’ont pas cessé d’évoluer depuis leur création et sont désormais utilisés dans des systèmes complets (Xilinx Zynq ou Altera Stratix). Malgré tout, il reste de nombreux champs applicatifs desquels ils sont absents, et à tort. Utiliser les FPGA de manière plus intense au sein de systèmes complets est possible, mais il faut pour cela développer les capacités multi-utilisateurs de ces plateformes. Donner la capacité à une application s’exécutant sur un FPGA de se stopper pour, par exemple, laisser s’exécuter d’autres applications jugées prioritaires est particulièrement intéressant. Une telle action est qualifiée de « changement de contexte » (en anglais context-switch).Dans cet article, nous présentons une méthode et un outil permettant de donner cette capacité à des circuits fonctionnant sur cible reconfigurable. Le flot de conception présenté s’appuie sur un logiciel de synthèse de haut niveau et offre automatiquement la capacité de commutation aux circuits synthétisés. Les expériences menées sur un panel de circuits classiques montrent que l’ajout de cette capacité à un coût relativement faible ainsi qu’une rapidité de commutation sans égale dans la littérature

The Chevroches zodiacal cap and its Burgundy relations

International audienceThe excavation of an unexplored secondary agglomeration in Chevroches (France), from 2001 to 2002 has led to the discovery of a bronze dome of a type unknown in the Ancient world. It is inscribed with three lines in Greek transcribing Egyptian and Roman months, and the twelve signs of the Zodiac. This paper presents the first observations and some other finds from similar objects in Burgundy

Automatic High-Level Hardware Checkpoint Selection for Reconfigurable Systems

International audience—Modern FPGAs provide great computational power and flexibility but there is still room for improving their performances. For example multiuser approaches are particularly underdeveloped as they require specific mechanisms still to be automated. Sharing an FPGA resource between applications or users requires a context switch ability. The latter enables pausing and resuming applications at system demand. This paper presents a method that automatically selects a good execution point, called hardware checkpoint, to perform a context switch on an FPGA. The method relies on a static analysis of the finite state machine of a circuit to select the checkpoint states. The obtained selection ensures that the context switch mechanism respects a given latency and tries to minimize the mechanism costs. The method takes advantage of its integration in an open-source HLS tool and preliminary results highlight its efficiency. Index Terms—FPGA, HLS, CAD, hardware context switc

Le bilan alimentaire cations-anions (B.A.C.A.) dans la fièvre vitulaire

La fièvre vitulaire est une maladie causée par une chute de la calcémie au vêlage de la vache laitière. Le bilan alimentaire cations-anions (ou B.A.C.A.) correspond à la différence entre certains ions: (Na+ + K+) (Cl- + SO42-), exprimée en milliéquivalents par kilogramme de matière sèche de la ration. L'étude bibliographique montre que l'absorption d'un excès de ces anions par rapport aux cations provoque une acidose métabolique légère. Celle-ci entraîne une fuite urinaire de calcium et une plus grande disponibilité du calcium osseux, mais pas d'augmentation de l'absorption calcique intestinale. Un B.A.C.A. compris entre 50 à 100 milliéquivalents par kilogramme de matière sèche ingérée pendant la fin de tarissement permet de prévenir les fièvres vitulaires. On obtient cette valeur du B.A.C.A. en corrigeant le B.A.C.A. des fourrages par des chlorures, des sulfates ou de l'HCl dilué. Cependant l'ajout de ces sels peut modifier la quantité de matière sèche ingérée

Michaël Bourlet, Yann Lagadec, Erwan Le Gall (dir.), Petites patries dans la Grande Guerre

Réunis par Michaël Bourlet, Yann Lagadec et Erwann Le Gall, dix contributeurs se penchent sur le « fait régional » en Grande Guerre, un « fait » assez peu questionné il est vrai, tant la question de la motivation « patriotique » et « nationale » des combattants et des sociétés pèse sur les travaux et les débats depuis une vingtaine d’années. C’est donc en premier lieu à un changement d’échelle bienvenu que nous convient les auteurs ; il importe également de souligner que ce livre collectif es..

Entre découverte de l’altérité et définition de soi. L’ « Orient méditerranéen » de soldats français de la Grande Guerre (1915-1918)

Le propos de cet article n’est pas de retracer les péripéties militaires de l’expédition alliée multiforme en Méditerranée orientale mais plutôt d’aborder l’appréhension de l’Orient méditerranéen par les soldats français transbordés dans cette région à partir du printemps 1915. Au travers d’un certain nombre de leurs témoignages, il s’agit notamment de questionner la découverte de cet «  Orient méditerranéen  » par les soldats français et de percevoir sur quels modes s’effectue la confrontation entre l’Orient imaginaire et l’Orient réel.This article does not deal with the military history of the allied expedition in the Eastern Mediterranean and the Dardanelles, but aims at exploring the perception of the Eastern Mediterranean by French soldiers through the analysis of their testimonies, journals and memories. The information found in testimonies raises the issue of the discovery of Eastern Mediterranean by these Western men: how did they match the imagined Orient with real one

Evaluation of SNMP-like protocol to manage a NoC emulation platform

International audience—The Networks-on-Chip(NoCs) are currently the most appropriate communication structure for many-core embedded systems. AnFPGA-based emulation platform can drastically reduce the time needed to evaluate a NoC, even if it is composed by tens or hundreds of distributed components. These components should be timely managed in order to execute an evaluation traffic scenario. There is a lack of standard protocols to drive FPGA-based NoC emulators. Such protocols could ease the integration of emulation components developed by different designers. In this paper, we evaluate a light version of SNMP (Simple Network Management Protocol) to manage an FPGA-based NoC emulation platform. The SNMP protocol and its related components are adapted to a hardware implementation. This facilitates the configuration of the emulation nodes without FPGA-resynthesis, as well as the extraction of emulation results. Some experiments highlight that this protocol is quite simple to implement and very efficient for a light resources overhead

HSV-1 genome subnuclear positioning and associations with host-cell PML-NBs and centromeres regulate LAT locus transcription during latency in neurons.

Major human pathologies are caused by nuclear replicative viruses establishing life-long latent infection in their host. During latency the genomes of these viruses are intimately interacting with the cell nucleus environment. A hallmark of herpes simplex virus type 1 (HSV-1) latency establishment is the shutdown of lytic genes expression and the concomitant induction of the latency associated (LAT) transcripts. Although the setting up and the maintenance of the latent genetic program is most likely dependent on a subtle interplay between viral and nuclear factors, this remains uninvestigated. Combining the use of in situ fluorescent-based approaches and high-resolution microscopic analysis, we show that HSV-1 genomes adopt specific nuclear patterns in sensory neurons of latently infected mice (28 days post-inoculation, d.p.i.). Latent HSV-1 genomes display two major patterns, called "Single" and "Multiple", which associate with centromeres, and with promyelocytic leukemia nuclear bodies (PML-NBs) as viral DNA-containing PML-NBs (DCP-NBs). 3D-image reconstruction of DCP-NBs shows that PML forms a shell around viral genomes and associated Daxx and ATRX, two PML partners within PML-NBs. During latency establishment (6 d.p.i.), infected mouse TGs display, at the level of the whole TG and in individual cells, a substantial increase of PML amount consistent with the interferon-mediated antiviral role of PML. "Single" and "Multiple" patterns are reminiscent of low and high-viral genome copy-containing neurons. We show that LAT expression is significantly favored within the "Multiple" pattern, which underlines a heterogeneity of LAT expression dependent on the viral genome copy number, pattern acquisition, and association with nuclear domains. Infection of PML-knockout mice demonstrates that PML/PML-NBs are involved in virus nuclear pattern acquisition, and negatively regulate the expression of the LAT. This study demonstrates that nuclear domains including PML-NBs and centromeres are functionally involved in the control of HSV-1 latency, and represent a key level of host/virus interaction